プログラムの理論へ② 正しいプログラム